Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda en la clasificación temática MSC 2000: 03F50 (03F60)
Mostrando 2 resultados encontrados.
 
03 Mathematical logic and foundations
  03F Proof theory and constructive mathematics
    03F50 Metamathematics of constructive systems
    03F60 Constructive and recursive analysis [See also 03B30, 03D45, 26E40, 46S30, 47S30]
 

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos